Hybrid process algebra

Hybrid process algebra

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

Process algebra for hybrid systems

We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002] and the process algebra with propositional signals from Baeten and Bergstra [Theoretical Computer Science 177:381–405, 1997]. The proposed process algebra makes it possible to deal with the behav...

A Process Algebra for Hybrid Systems

The work that is presented here was initiated by question of a colleague from the mechanical engineering department. He was analysing several industrial manufacturing processes (a tire production line, a cookie baking line, etc.). These processes were modeled in a procedural kind of programming language (called “χ” [AvdMR94]) extended with hybrid features such as continuous variables defined by...

Case Studies in The Hybrid Process Algebra Hypa

HyPA is an algebraic theory based on the classical process algebra Algebra of Communicating Processes (ACP) for the specification and analysis of hybrid systems. We have the idea that HyPA is also well suited for addressing various aspects of digital embedded systems including hardware, software and concurrency, as well as mixed-signal designs. To show that HyPA is useful for the specification ...

Probabilistic Process Algebra Probabilistic Process Algebra